<hr>
<div style="font-weight: bold;">Debug</div>
<div style="font-family: Tahoma, Verdana; font-size: 10pt; color: white; padding: 3px; border: solid thin black; background: gray;">
<?php
 print "<pre>\n";
 if(isset($_SESSION)) {
   echo "Session Variables:\n";
   print_r($_SESSION);
 }
 echo "Post/Get Variables:\n";
 print_r($_REQUEST);
 echo "Server Variables:\n";
 print_r($_SERVER);
 print "</pre>\n";

 print "<p>\n";
 print "Files included:<br>\n";
 print_r(get_included_files());
 print "</p>\n";

 print "Source for included files:<br>\n";
// $file = $_SERVER[PATH_TRANSLATED];
// $includes = get_included_files();
 foreach(get_included_files() as $file) {
  print "<div style='margin-left: 10px;'>$file</div>\n";
  echo "<div style='margin-left: 10px; margin-right: 10px; font-family: Tahoma, Verdana; font-size: 10pt; padding: 3px; border: solid thin black; background: white;'>\n";
  highlight_file($file);
  echo '</div>';
 }
?>
